3

Learning parities in the mistake-bound model

Year:
2010
Language:
english
File:
PDF, 164 KB
english, 2010
4

Underapproximation for model-checking based on universal circuits

Year:
2010
Language:
english
File:
PDF, 207 KB
english, 2010
5

Approximate Hypergraph Partitioning and Applications

Year:
2010
Language:
english
File:
PDF, 422 KB
english, 2010
6

Testing Graph Isomorphism

Year:
2008
Language:
english
File:
PDF, 263 KB
english, 2008
11

Sound 3-Query PCPPs Are Long

Year:
2009
Language:
english
File:
PDF, 400 KB
english, 2009